Program slicing

Results: 42



#Item
11Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy

Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy

Add to Reading List

Source URL: crest.cs.ucl.ac.uk

Language: English - Date: 2012-05-11 03:17:15
    12Database Queries that Explain their Work James Cheney Amal Ahmed  Umut A. Acar

    Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar

    Add to Reading List

    Source URL: www.ccs.neu.edu

    Language: English - Date: 2014-10-03 11:09:09
    13Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing John Field and Frank Tip IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY, 10598, USA

    Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing John Field and Frank Tip IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY, 10598, USA

    Add to Reading List

    Source URL: www.franktip.org

    Language: English - Date: 2016-01-22 11:53:09
      14c Cambridge University Press 2011 Math. Struct. in Comp. Science (2011), vol. 21, pp. 1339–1362.  doi:S0960129511000223 On the computational complexity of dynamic slicing problems for program schemas

      c Cambridge University Press 2011 Math. Struct. in Comp. Science (2011), vol. 21, pp. 1339–1362.  doi:S0960129511000223 On the computational complexity of dynamic slicing problems for program schemas

      Add to Reading List

      Source URL: sebastian.doc.gold.ac.uk

      Language: English - Date: 2014-04-14 11:04:56
        15Detecting Refactorable Clones Using Program Dependence Graph (PDG) and Program Slicing Ammar Hamid  University of Amsterdam

        Detecting Refactorable Clones Using Program Dependence Graph (PDG) and Program Slicing Ammar Hamid University of Amsterdam

        Add to Reading List

        Source URL: grammarware.github.io

        Language: English - Date: 2016-01-31 08:43:24
          16Speeding up Slicing Thomas Reps,† Susan Horwitz,† Mooly Sagiv,†, ‡ and Genevieve Rosay University of Wisconsin−Madison ABSTRACT Program slicing is a fundamental operation for many software engineering tools. Cu

          Speeding up Slicing Thomas Reps,† Susan Horwitz,† Mooly Sagiv,†, ‡ and Genevieve Rosay University of Wisconsin−Madison ABSTRACT Program slicing is a fundamental operation for many software engineering tools. Cu

          Add to Reading List

          Source URL: research.cs.wisc.edu

          Language: English - Date: 2001-09-10 19:29:25
            17Reducing GUI Test Suites via Program Slicing Stephan Arlt Andreas Podelski  Martin Wehrle

            Reducing GUI Test Suites via Program Slicing Stephan Arlt Andreas Podelski Martin Wehrle

            Add to Reading List

            Source URL: ai.cs.unibas.ch

            Language: English - Date: 2014-07-02 05:16:10
            18

            PDF Document

            Add to Reading List

            Source URL: www.roywant.com

            Language: English - Date: 2005-11-06 23:23:24
            19The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3

            The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2013-12-12 08:46:27
            20FXplorer: Exploration of Computed Software Behavior A New Approach to Understanding and Verification Luanne Burns Timothy Daly Software Engineering Institute Carnegie Mellon University

            FXplorer: Exploration of Computed Software Behavior A New Approach to Understanding and Verification Luanne Burns Timothy Daly Software Engineering Institute Carnegie Mellon University

            Add to Reading List

            Source URL: daly.axiom-developer.org

            Language: English - Date: 2010-03-15 18:26:20